An Assessment of Reiter's General Monotonic Solution to the Frame Problem and Its Applicability to Database Updates
نویسنده
چکیده
Many solutions to the frame problem have been proposed in the literature, some are monotonic and some are nonmonotonic. Reiter recently proposed a solution and its application to the domain of database update speciication, but no proof of soundness or completeness has been provided. We assess Reiter's monotonic solution to the frame problem in the database domain following Sandewall's methodology and we provide a more general underlying semantics that will serve as basis for the assessment of other solutions as well.
منابع مشابه
An Assessment of Reiter ' s General MonotonicSolution
Many solutions to the frame problem have been proposed in the literature, some are monotonic and some are nonmonotonic. Reiter recently proposed a solution and its application to the domain of database update speciication, but no proof of soundness or completeness has been provided. We assess Reiter's monotonic solution to the frame problem in the database domain following Sandewall's methodolo...
متن کاملUnderlying Semantics for the Assessment of Reiter's Solution to the Frame Problem
This paper presents an application of Sandewall's methodology 16] for assessing nonmonotonic entailment criteria for reasoning about actions and change. We establish the correctness of Reiter's general solution to the frame problem 14] for a broad and well characterized class of problems. This is done by: (1) identifying a nonmonotonic entailment criterion corresponding to Reiter's solution; (2...
متن کاملScdbr: an Automated Reasoner for Database Updates (extended Abstract)
In this paper we describe SCDBR, a system that automates reasoning with speciications of database updates written in the situation calculus, a rst{order language originally proposed by John McCarthy for reasoning about actions and change. The speciications are expected to be given according to Ray Reiter's solution to the frame problem. SCDBR is written in PROLOG, and among other features is ab...
متن کاملIntegrating Discrete and Continuous Change in a Logical Framework
The goal of our work is to develop theoretical foundations for the representation of knowledge in domains in which properties may vary continuously. One achievement of our research is that it extends the applicability of current research on theories of action. Furthermore, we are able to apply known approaches to the frame and ramification problems, developed for discretely changing worlds, to ...
متن کاملA general approach to linguistic approximation and its application in frame of fuzzy logic deduction
This paper deals with one problem that needs to be addressed in the emerging field known under the name computing with perceptions. It is the problem of describing, approximately, a given fuzzy set in natural language. This problem has lately been referred to as the problem of retranslation. An approaches to dealing with the retranslation problem is discussed in the paper, that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994